|
|
Generátor testovacích běhů nad GUI
Sojčák, Juraj ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Grafické používateľské rozhrania tvoria významnú časť počítačových systémov. Z tohto dôvodu sú kladené čoraz väčšie nároky na ich správne fungovanie, ktoré môže byť dosiahnuté testovaním. Táto práca popisuje princíp testovania na základe modelu, pomocou ktorého je možné automatizovane generovať testovacie prípady. V tejto práci je definovaný model, ktorý je možné využiť na modelovanie bežne používaných GUI, algoritmus na získavanie takéhoto modelu z GUI a prostriedok na definovanie kritéria pokrytia modelu GUI.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
|
|
Tool for Searching for Test Paths
Stupar, Michal ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
The work contains an introduction into problematics model-based testing, framework design for searching test paths over a control-flow graph, the implementation of classes and methods, the implementation of which was verified by a set of automatic tests. Searching path in graphs using breadth-first search and depth-first search algorithms that try to find test paths for performance of the four implemented graph coating criterias. Tool TRIP uses two externals modules - GCC plugin for obtaining the control-flow graph and the SMT solver for determining the evaluation of the path. Communication between moduls is JSON format, which is also used for saving found paths between individual runs of the tool.
|
|
|
Generátor testovacích běhů nad GUI
Sojčák, Juraj ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Grafické používateľské rozhrania tvoria významnú časť počítačových systémov. Z tohto dôvodu sú kladené čoraz väčšie nároky na ich správne fungovanie, ktoré môže byť dosiahnuté testovaním. Táto práca popisuje princíp testovania na základe modelu, pomocou ktorého je možné automatizovane generovať testovacie prípady. V tejto práci je definovaný model, ktorý je možné využiť na modelovanie bežne používaných GUI, algoritmus na získavanie takéhoto modelu z GUI a prostriedok na definovanie kritéria pokrytia modelu GUI.
|
|
|
Testování platformy JBoss Drools založené na modelu
Široký, Petr ; Holík, Lukáš (oponent) ; Letko, Zdeněk (vedoucí práce)
Technika testování založeného na modelu (MBT) využívá model chování systému k automatickému generování sady testů, čímž snižuje nákladnost testování oproti konvenčnímu manuálnímu vývoji a udržbě testů. Tato práce se zaměřuje na využití zvoleného MBT nástroje OSMO při testování reálného softwarového produktu. Konkrétně se o jedná kompilátor podnikových pravidel využívaný v systému Drools, který je spoluvyvíjený společností Red Hat. V práci je popsán způsob zavedení MBT přístupu s ohledem na jeho dobré přijetí komunitou vývojářů, dále pak vytvoření modelu možných vstupů testovaného kompilátoru a zhodnocení vytvořené testovací sady. Využití MBT přístupu vedlo k odhalení pěti nahlášených a tří potencionálních a dosud nehlášených chyb v testovaném kódu. Práce na příkladu shrnuje hlavní přednosti i praktické nedostatky využití MBT technik v praxi.
|
host ::
RSS.